$\forall$$x$, $y$:Atom1. $x$:Atom1$>>$$y$ $\Leftrightarrow$ $x$ $=$ $y$